<html>
<head><meta charset="utf-8"><title>starting a cadence · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html">starting a cadence</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="245744990"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245744990" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245744990">(Jul 12 2021 at 20:38)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> and I were talking about setting up a "cadence" for working on polonius. The idea being to devote say 4h every other week, or something minimal. Hopefully enough time to make real progress though.</p>



<a name="245745014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245745014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245745014">(Jul 12 2021 at 20:38)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Amanda Stjerna</span> would you be interested in that?</p>



<a name="245745040"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245745040" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245745040">(Jul 12 2021 at 20:38)</a>:</h4>
<p>Likely time would be Friday afternoon European time</p>



<a name="245868287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245868287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245868287">(Jul 13 2021 at 18:36)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> I think you said that starting in August would be best for you?</p>



<a name="245868304"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245868304" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245868304">(Jul 13 2021 at 18:36)</a>:</h4>
<p>I'd like to just go ahead and make this happen</p>



<a name="245871502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245871502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245871502">(Jul 13 2021 at 19:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I could start this friday actually :3 but yeah I'll likely be away for the first couple weeks of august</p>



<a name="245871742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245871742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245871742">(Jul 13 2021 at 19:03)</a>:</h4>
<p>hmm, this friday is not so great, but maybe July 30</p>



<a name="245872072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245872072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245872072">(Jul 13 2021 at 19:05)</a>:</h4>
<p>july 30 it is !</p>



<a name="245872128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245872128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245872128">(Jul 13 2021 at 19:05)</a>:</h4>
<p>(if you can make it :)</p>



<a name="245874211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245874211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245874211">(Jul 13 2021 at 19:21)</a>:</h4>
<p>what time do you prefer, <span class="user-mention" data-user-id="116113">@lqd</span>? like</p>



<a name="245874234"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245874234" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245874234">(Jul 13 2021 at 19:21)</a>:</h4>
<p>like <time datetime="2021-07-30T13:00:00Z">2021-07-30T09:00:00-04:00</time> ?</p>



<a name="245874362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245874362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245874362">(Jul 13 2021 at 19:22)</a>:</h4>
<p>sounds good for the first one</p>



<a name="245874455"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245874455" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245874455">(Jul 13 2021 at 19:23)</a>:</h4>
<p>(maybe one or two hours later for future ones if that's possible for you)</p>



<a name="245878542"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245878542" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245878542">(Jul 13 2021 at 19:56)</a>:</h4>
<p>I would be ok with later for that one too</p>



<a name="245878830"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245878830" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245878830">(Jul 13 2021 at 19:59)</a>:</h4>
<p>let's say like <time datetime="2021-07-30T14:00:00Z">2021-07-30T16:00:00+02:00</time>  then ?</p>



<a name="245906320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245906320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245906320">(Jul 14 2021 at 00:27)</a>:</h4>
<p>+1</p>



<a name="245906329"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245906329" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245906329">(Jul 14 2021 at 00:27)</a>:</h4>
<p>I'll add something to compiler team calendar</p>



<a name="245938125"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245938125" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245938125">(Jul 14 2021 at 09:42)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/186049-t-compiler.2Fwg-polonius/topic/starting.20a.20cadence/near/245745014">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="204115">Amanda Stjerna</span> would you be interested in that?</p>
</blockquote>
<p>Yes!</p>



<a name="245938155"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245938155" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245938155">(Jul 14 2021 at 09:42)</a>:</h4>
<p>In fact I had planned to work on Polonius during my summer vacation</p>



<a name="245938165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245938165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245938165">(Jul 14 2021 at 09:42)</a>:</h4>
<p>Which starts on Friday</p>



<a name="245938254"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245938254" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245938254">(Jul 14 2021 at 09:43)</a>:</h4>
<p>Thanks to Niko's introduction I will actually be working on something Polonius-adjacent at an IMDEA internship for half a year,  so I hope to have more time as well</p>



<a name="245938332"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245938332" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245938332">(Jul 14 2021 at 09:44)</a>:</h4>
<p>(I'm not sure if the topic is secret so I'll shut up about it, but it's the thing you emailed about, <span class="user-mention" data-user-id="116009">@nikomatsakis</span>)</p>



<a name="245938993"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245938993" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245938993">(Jul 14 2021 at 09:52)</a>:</h4>
<p>nice, congrats on that, it's cool and exciting stuff</p>



<a name="245939078"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245939078" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245939078">(Jul 14 2021 at 09:52)</a>:</h4>
<p>It's so funny how my PhD ends up being more and more "it's topic X, but reskinned to be actually programming languages"</p>



<a name="245939157"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245939157" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245939157">(Jul 14 2021 at 09:54)</a>:</h4>
<p>Anyway, I really, really appreciate the attempts to drag me back into Polonius; I <em>want</em> to be here, I've just had a lot of stuff (including a puppy) to deal with</p>



<a name="245968291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/starting%20a%20cadence/near/245968291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/starting.20a.20cadence.html#245968291">(Jul 14 2021 at 14:34)</a>:</h4>
<p>I don't know if it's secret or not lol</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>